61. Theory of machines and computations; proceedings
پدیدآورنده: Edited by Zvi Kohavi and Azaria Paz
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Switching theory,Congresses ، Numerical calculations
رده :
QA
266
.
I58
1971
62. Theory of machines and computations; proceedings
پدیدآورنده: International Symposium on the Theory of Machines and Computations )1791: Haifa, Israel(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Sequential machine theory-- Congresses,، Formal languages-- Congresses,، Switching theory-- Congresses,، Numerical calculations-- Congresses
رده :
QA
266
.
I58
1971
63. Trace theory for automatic hierarchical verification of speed-independent circuits
پدیدآورنده: David L. Dill
کتابخانه: کتابخانه دانشگاه تحصیلات تکمیلی صنعتی و فناوری پیشرفته کرمان (کرمان)
موضوع: ، Switching circuits,، Integrated circuits - Very large scale integration,، Sequential machine theory
رده :
TK
7868
.
S9
D55
1989
64. Trace theory for automatic hierarchical verification of speed-independent circuits
پدیدآورنده: David L. Dill.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Integrated circuits -- Very large scale integration.,Sequential machine theory.,Switching circuits.
رده :
TK7868
.
S9
D385
9999
